221. Model theory and arithmetic: comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'arithmetique, Paris, France, 1979/80
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory
رده :
QA
3
.
L28
no
.
890
222. Model theory and arithmetic : comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des mod،les et l'arithmetique, Paris, France, 1979/80
پدیدآورنده : edited by C. Berline, K. McAloon, and J.-P. Ressayre
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
1
.
L4
v
.
890
223. Model theory and linear extreme points in the numerical radius unit ball
پدیدآورنده : Dritschel, Michael A., 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Operator theory,، Decomposition method,، Model theory
رده :
QA
3
.
A475
no
.
615
224. Model theory and modules
پدیدآورنده : Mike Prest
موضوع : Model theory,Modules (Algebra)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
225. Model theory and modules
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory. ;
226. Model theory and modules
پدیدآورنده : Prest, Mike
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Modules )Algebra(
رده :
QA
9
.
7
.
P74
1988
227. Model theory and modules
پدیدآورنده : Prest, Mike.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory,، Modules )Algebra(
رده :
QA
9
.
7
.
P74
1988
228. Model theory and topoi :a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lawvere, C. Maurer, G. C. Wraith
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory,، Toposes
رده :
QA
9
.
7
.
M6
1975
229. Model theory and topoi: a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lawvere, C. Maurer, and G. C. Wraith
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
no
.
445
230. Model theory and topoi: a collection of lectures by various authors
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
no
.
445
231. Model theory and topoi : a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lowvere, C. Maurer and G. C. Wraith
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
Vol
.
445
232. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
233. Model theory for infinitely deep languages /
پدیدآورنده : Maaret Karttunen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Infinitary languages.,Model theory.
رده :
QA1
.
S96
no
.
50
234. Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
پدیدآورنده : / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Infinitary languages,Model theory
رده :
511
.
3
K27
235. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
236. Model theory in algebra, analysis and arithmetic
پدیدآورنده : Dries, Lou Van den.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Model theory in algebra,,، analysis and arithmetic
رده :
QA
3
.
M63
2014
237. Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
834
238. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model theory - Congresses
رده :
QA
.
L28
,
no
3
.
834
239. Model theory of algebra and arithmetic: proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
no
.
834
240. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Model theory
رده :
QA
1
.
L4
v
.
834
